surjective function graph